|
|
Detection of Correlated Mutations
Ižák, Tomáš ; Bendl, Jaroslav (referee) ; Martínek, Tomáš (advisor)
Tato práce zkoumá existující možnosti a metody detekce korelovaných mutací v proteinech. Práce začíná teoretickým úvodem do zkoumané problematiky. Využití informací o korelovaných mutacích je především při predikci terciální struktury proteinu či hledání oblastí s významnou funkcí. Dále následuje přehled v současnosti používaných metod detekce a jejich výhody a nevýhody. V této práci jsou zkoumány zejména metody založené na statistice (například Pearsonově korelačním koeficientu nebo Pearsonově chi^2 testu), informační teorii (Mutual information - MI) a pravděpodobnosti (ELSC nebo Spidermonkey). Dále jsou popsány nejdůležitější nástroje s informací o tom, které metody používají a jakým způsobem. Také je diskutována možnost návrhu optimálního algoritmu. Jako optimální z hlediska úspěšnosti detekce je doporučeno využít více zmíněných metod. Také je doporučeno při detekci využít fyzikálně-chemických vlastností aminokyselin. V praktické části byla vyvinuta metoda využívající fyzikálně-chemických vlastností aminokyselin a fylogenetických stromů. Výsledky detekce byly porovnány s nástroji CAPS, CRASP a CMAT.
|
|
|
Counter-Example Generation in the Analysis of Markov Models
Molek, Martin ; Matyáš, Jiří (referee) ; Češka, Milan (advisor)
This thesis deals with generating counterexamples in context of probabilistic models. Counterexamples are generated for Markov models (specifically DTMC). Definitions of model properties are given by logic PCTL. Two algorithms (Best-first search and Recursive Enumration Algorithm) are used to generate these counterexamples. Thesis describes implementation of algorithms into verification tool STORM. The results of experiments show that REA is capable of handling models containg millions of states.
|
|
|
Counter-Example Generation in the Analysis of Markov Models
Molek, Martin ; Matyáš, Jiří (referee) ; Češka, Milan (advisor)
This thesis deals with generating counterexamples in context of probabilistic models. Counterexamples are generated for Markov models (specifically DTMC). Definitions of model properties are given by logic PCTL. Two algorithms (Best-first search and Recursive Enumration Algorithm) are used to generate these counterexamples. Thesis describes implementation of algorithms into verification tool STORM. The results of experiments show that REA is capable of handling models containg millions of states.
|
|
|
Application statistical methods for estimation customer lifetime value
Samuseva, Katsiaryna ; Vraná, Lenka (advisor) ; Sobíšek, Lukáš (referee)
This bachelor thesis pay attention on statistical methods managing relationship with customers and different approaches of estimation customer lifetime value for the company in long time period. It is an empirical type of bachelor thesis, where we will test the theoretical assumptions on the real data. During this paper we research and measure customers behavior in order to obtain quantitative outputs to adaptation marketing strategy, efficient allocation of resources and choosing key clients. On the basis of past and present behavior we simulate expected in future level of purchasing behavior and thus try to determine the most profitable target groups for high-quality application of marketing tools. Main purposes of thesis are describing various attitudes to modeling CLV, applying the model Pareto/NBD on real date of the company Práce pro Vás, to evaluate forecast applicability in practice. Following tasks will be resolved in this paper: to introduce advantages and disadvantages of each modeling CLV approach, to evaluate quality of Pareto/NBD model and to determine the advanced extensions of the research in this issue. There are various attitudes to estimation of CLV, which are described in theoretical chapters, but practical part of this paper focuses primarily on application of probability model Pareto/NBD. With the help of Pareto/NBD managers can get the information about future customers activity, i.e. expected number of transactions from real behavior a probability that customer will be active in observation period. In nowadays reality of overloaded market, almost in every business sector, every company should rely on quantitative base of marketing and choose target clients, on which to focus their marketing efforts. Exactly this need matches with described and applied in this bachelor thesis model Pareto/NBD, with it help we will estimate customer lifetime value for strategic decisions and managing relationship with customers. Finally, we will resolve continuous tasks and will achieve all the determined goals.
|
|
|
Detection of Correlated Mutations
Ižák, Tomáš ; Bendl, Jaroslav (referee) ; Martínek, Tomáš (advisor)
Tato práce zkoumá existující možnosti a metody detekce korelovaných mutací v proteinech. Práce začíná teoretickým úvodem do zkoumané problematiky. Využití informací o korelovaných mutacích je především při predikci terciální struktury proteinu či hledání oblastí s významnou funkcí. Dále následuje přehled v současnosti používaných metod detekce a jejich výhody a nevýhody. V této práci jsou zkoumány zejména metody založené na statistice (například Pearsonově korelačním koeficientu nebo Pearsonově chi^2 testu), informační teorii (Mutual information - MI) a pravděpodobnosti (ELSC nebo Spidermonkey). Dále jsou popsány nejdůležitější nástroje s informací o tom, které metody používají a jakým způsobem. Také je diskutována možnost návrhu optimálního algoritmu. Jako optimální z hlediska úspěšnosti detekce je doporučeno využít více zmíněných metod. Také je doporučeno při detekci využít fyzikálně-chemických vlastností aminokyselin. V praktické části byla vyvinuta metoda využívající fyzikálně-chemických vlastností aminokyselin a fylogenetických stromů. Výsledky detekce byly porovnány s nástroji CAPS, CRASP a CMAT.
|
guest ::
